; * doc/emacs/emacs-xtra.texi: Explain in a comment the purpose of this file.

diff --git a/doc/emacs/emacs-xtra.texi b/doc/emacs/emacs-xtra.texi
index d4d4860f9521a77d27bb5ecb2a7d8c4fca522757..32ed22fc5af7ccc8b190a62edf4af5b21b0bc8cc 100644 (file)
--- a/doc/emacs/emacs-xtra.texi
+++ b/doc/emacs/emacs-xtra.texi
@@ -9,6 +9,10 @@
 @syncodeindex ky cp
 @comment %**end of header
 
+@c This is a separate manual to avoid making the Emacs User manual too
+@c large in print.  In the Info format, the chapters included below
+@c are part of the Emacs User manual.
+
 @copying
 This manual describes specialized features of Emacs.